<?php

class JS_NumberNode extends JS_Node {
	
	public function __construct($val) {
		parent::__construct($val);
	}
	
}

?>